CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostra risultati da 41 a 52 di 52
Titolo Data di pubblicazione Autore(i) File
Reactive systems, barbed semantics, and the Mobile Ambients 1-gen-2009 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Saturated LTSs for adhesive rewriting systems 1-gen-2010 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO
SelfLens: a personal assistive technology to support the independence of people with special needs in reading information on food items 1-gen-2020 Galesi, G; Giunipero, L; Leporini, B; Pagliucoli, F; Quatraro, A; Verdi, G.
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties 1-gen-2012 Mancarella, PAOLO MARIA; Toni, F.
Service-Oriented and Cloud Computing – 8th IFIP WG 2.14 European Conference, ESOCC 2020. 1-gen-2020 Brogi, A.; Zimmermann, W.; Kritikos, K.
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 1-gen-2016 Milazzo, Paolo; Varró, Daniel; Manuel, Wimmer
Specifying graph languages with type graphs 1-gen-2017 Corradini, Andrea; Koenig, Barbara; Nolte, Dennis
Term graph rewriting for the π-calculus 1-gen-2003 Gadducci, Fabio
A tool for the modelling and simulation of ecological systems based on grid systems 1-gen-2015 Setiawan, Suryana; Cerone, Antonio; Milazzo, Paolo
Toward Community Driven Interest Management for Distributed Virtual Environments 1-gen-2013 Dazzi, Patrizio; Carlini, Emanuele; Mordacchini, Matteo; Ricci, Laura
Towards the Computational Assessment of the Conservation Status of a Habitat 1-gen-2023 Manh, X. H.; Gigante, D.; Angiolini, C.; Bagella, S.; Caccianiga, M.; Angelini, F.; Garabini, M.; Remagnino, P.
Using of 3D virtual reality electromagnetic navigation for challenging cannulation in FEVAR procedure 1-gen-2017 Piazza, Roberta; Condino, Sara; Alberti, Aldo; Giannetti, Davide; Ferrari, Vincenzo; Gesi, Marco; Ferrari, Mauro
Mostra risultati da 41 a 52 di 52
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile